A semantics and implementation of a causal logic programming language

The increasingly widespread availability of multicore and manycore computers demands new programming languages that make parallel programming dramatically easier and less error prone. This paper describes a semantics for a new class of declarative programming languages that support massive amounts of implicit parallelism

Datalog as a parallel general purpose programming language

The increasing available parallelism of computers demands new programming languages that make parallel programming dramatically easier and less error prone. It is proposed that datalog with negation and timestamps is a suitable basis for a general purpose programming language for sequential, parallel and distributed computers. This paper develops a fully incremental bottom-up interpreter for datalog that supports a wide range of execution strategies, with trade-offs affecting efficiency, parallelism and control of resource usage. Examples show how the language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics

A Parallel semantics for normal logic programs plus time

It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics. This paper describes a fully incremental bottom-up interpreter that supports a wide range of parallel execution strategies and can extract significant potential parallelism from programs with complex dependencies

Market Potential for Northern Plains Farm Equipment in Brazil

International Relations/Trade,

Intrapersonal positive future thinking predicts repeat suicide attempts in hospital-treated suicide attempters

Objective: Although there is clear evidence that low levels of positive future thinking (anticipation of positive experiences in the future) and hopelessness are associated with suicide risk, the relationship between the content of positive future thinking and suicidal behavior has yet to be investigated. This is the first study to determine whether the positive future thinking–suicide attempt relationship varies as a function of the content of the thoughts and whether positive future thinking predicts suicide attempts over time. Method: A total of 388 patients hospitalized following a suicide attempt completed a range of clinical and psychological measures (depression, hopelessness, suicidal ideation, suicidal intent and positive future thinking). Fifteen months later, a nationally linked database was used to determine who had been hospitalized again after a suicide attempt. Results: During follow-up, 25.6% of linked participants were readmitted to hospital following a suicide attempt. In univariate logistic regression analyses, previous suicide attempts, suicidal ideation, hopelessness, and depression—as well as low levels of achievement, low levels of financial positive future thoughts, and high levels of intrapersonal (thoughts about the individual and no one else) positive future thoughts predicted repeat suicide attempts. However, only previous suicide attempts, suicidal ideation, and high levels of intrapersonal positive future thinking were significant predictors in multivariate analyses. Discussion: Positive future thinking has predictive utility over time; however, the content of the thinking affects the direction and strength of the positive future thinking–suicidal behavior relationship. Future research is required to understand the mechanisms that link high levels of intrapersonal positive future thinking to suicide risk and how intrapersonal thinking should be targeted in treatment interventions

Performance Factors and Management Practices Related to Earnings of East Central North Dakota Crop Farms

Agricultural Finance, Farm Management,

River doctors: Learning from medicine to improve ecosystem management

Effective ecosystem management requires a robust methodology to analyse, remedy and avoid ecosystem damage. Here we propose that the overall conceptual framework and approaches developed over millennia in medical science and practice to diagnose, cure and prevent disease can provide an excellent template. Key principles to adopt include combining well-established assessment methods with new analytical techniques and restricting both diagnosis and treatment to qualified personnel at various levels of specialization, in addition to striving for a better mechanistic understanding of ecosystem structure and functioning, as well as identifying the proximate and ultimate causes of ecosystem impairment. In addition to applying these principles, ecosystem management would much benefit from systematically embracing how medical doctors approach and interview patients, diagnose health condition, select treatments, take follow-up measures, and prevent illness. Here we translate the overall conceptual framework from medicine into environmental terms and illustrate with examples from rivers how the systematic adoption of the individual steps proven and tested in medical practice can improve ecosystem management.EC/FP7/603629/EU/MANAGING THE EFFECTS OF MULTIPLE STRESSORS ON AQUATIC ECOSYSTEMS UNDER WATER SCARCITY/GLOBAQUAEC/FP7/603378/EU/Managing Aquatic ecosystems and water Resources under multiple Stress/MAR

The direct hydrothermal deposition of cobalt-doped MoS2 onto fluorine-doped SnO2 substrates for catalysis of the electrochemical hydrogen evolution reaction

Metal chalcogenides, and doped molybdenum sulfides in particular, have considerable potential as earth-abundant electrocatalysts for the hydrogen evolution reaction. This is especially true in the case of solar-to-hydrogen devices, where an ability to deposit these materials on transparent substrates is therefore desirable. Hydrothermal methods are perhaps the most common route by which metal chalcogenide materials suitable for the hydrogen evolution reaction are produced. Such methods are simple and scalable, but the direct hydrothermal deposition of metal chalcogenides on transparent oxide electrodes has hitherto never been reported. Such an advance would greatly facilitate the expansion of the field by removing the requirement for separate hydrothermal-synthesis and catalyst-deposition steps. In this paper, we show that the ternary chalcogenide Co2Mo9S26 can be synthesised on a fluorine-doped tin oxide substrate by hydrothermal methods directly from solutions of the simple metal salts. These films display good activity for the hydrogen evolution reaction from acid solution, achieving current densities of 10 mA cm−2 at 260 mV overpotential with a Tafel slope of 64 mV per decade. Moreover, the resulting films can be made to be translucent, a very useful property which would allow light to be transmitted through the catalyst to an underlying light-harvesting array in any solar-to-hydrogen device employing this material at the cathode